Static Object Race Detection
نویسندگان
چکیده
We present a novel static object race detection analysis. Our analysis is data-centric in the sense that dominance and ownership, as well as object-based reasoning about control, play a crucial role. Our empirical results show that the analysis scales well and has relatively low false-positive rate. In some cases, our analysis outperforms the leading static race detector Chord.
منابع مشابه
Static Detection of Atomicity Violations in Object-Oriented Programs
Violations of atomicity are possible sources of errors in parallel programs. A violation occurs if the effect of a method execution depends on the execution of concurrent threads that operate on the same or overlapping parts of a shared data structure. All accesses to shared data are assumed to be ordered through synchronization, hence common techniques for data race and deadlock detection are ...
متن کاملStatic Data Race Analysis for C
This is a survey of sound race detection techniques for C. While the basic lockset algorithm is at the core of most analyzers, the key challenge is to propagate pointer information context-sensitively. The bulk of the paper is, therefore, concerned with different solutions to the problem of context-sensitive pointer alias analysis in the context of race detection. These are the solutions used i...
متن کاملSafe Concurrency for Aggregate Objects with Invariants: Soundness Proof
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for object-oriented programs that protects object structures against inconsistency due to race conditions. It is based on a recent methodology for single-threaded programs where developers define aggregate object structures u...
متن کاملUniverses for Race Safety
Race conditions occur when two incorrectly synchronised threads simultaneously access the same object. Static type systems have been suggested to prevent them. Typically, they use annotations to determine the relationship between an object and its “guard” (another object), and to guarantee that the guard has been locked before the object is accessed. The object-guard relationship thus forms a t...
متن کاملHoning the Detection of Interference and Ready Dependence for Slicing Concurrent Java Programs∗
Despite the usefulness of program slicing as a software specialization and debugging tool and the popularity of concurrent object-oriented programming languages such as Java and C#, slicing techniques for these languages have yet to reach the same level of maturity as foundations and implementations of slicing for sequential languages such as C. In particular, efficiently calculating precise sl...
متن کامل